Section: New Software and Platforms

RealCertify

Keywords: Polynomial or analytical systems - Univariate polynomial - Real solving

Functional Description: The package RealCertify aims at providing a full suite of hybrid algorithms for computing certificates of non-negativity based on numerical software for solving linear matrix inequalities. The module univsos handles the univariate case and the module multivsos is designed for the multivariate case.

• Contact: Mohab Safey El Din

• URL: https://gricad-gitlab.univ-grenoble-alpes.fr/magronv/RealCertify